Review the new system and its impact on intelligent buildings and sustainable architecture

Among the important trends in contemporary architecture, sustainable architecture is present in three areas: economic, social and environmental issues raised are among the most important in the area of environmental sustainability, reduce consumption of non-renewable resources and renewable energy is Bhybh cost this Nanotechnology is one of the world's Latests technology is the science of controlling matter at the molecular scale Koch is one of the most important strategies for achieving environmental sustainability, and the advantages of smart materials is to use materials that reduces energy consumption and provide optimal comfort for the residents of a large building and complex building intrusion in sustainable design today must respond to the needs of the 21st century and only with the integration needs in a complex, to be energy efficiency via smart nano-materials, especially through the role color plays How can building material used with materials resistant, lightweight and cheap to produce, and how to use intelligent and self-healing materials in construction Buildings Hvshmnd.dr this paper, the choice of materials and equipment, to review the architecture of the system, along with the need for intelligent buildings and equipment due to the intelligent material, based on human needs in a sustainable architecture we are today.Keywords: nano-architecture, sustainable construction, intelligen

SOME REMARKS ON THE CLASSICAL PRIME SPECTRUM OF MODULES

Let R be a commutative ring with identity and let M be an R-module. A proper submodule P of M is called a classical prime submodule if abm ∈ P, for a,b ∈ R, and m ∈ M, implies that am ∈ P or bm ∈ P. The classical prime spectrum of M, Cl.Spec(M), is defined to be the set of all classical prime submodules of M. We say M is classical primefule if M = 0, or the map ψ from Cl.Spec(M) to Spec(R/Ann(M)), defined by ψ(P) = (P : M)/Ann(M) for all P ∈ Cl.Spec(M), is surjective. In this paper, we study classical primeful modules as a generalisation of primeful modules. Also we investigate some properties of a topology that is defined on Cl.Spec(M), named the Zariski topology

Towards the Formal Reliability Analysis of Oil and Gas Pipelines

It is customary to assess the reliability of underground oil and gas pipelines in the presence of excessive loading and corrosion effects to ensure a leak-free transport of hazardous materials. The main idea behind this reliability analysis is to model the given pipeline system as a Reliability Block Diagram (RBD) of segments such that the reliability of an individual pipeline segment can be represented by a random variable. Traditionally, computer simulation is used to perform this reliability analysis but it provides approximate results and requires an enormous amount of CPU time for attaining reasonable estimates. Due to its approximate nature, simulation is not very suitable for analyzing safety-critical systems like oil and gas pipelines, where even minor analysis flaws may result in catastrophic consequences. As an accurate alternative, we propose to use a higher-order-logic theorem prover (HOL) for the reliability analysis of pipelines. As a first step towards this idea, this paper provides a higher-order-logic formalization of reliability and the series RBD using the HOL theorem prover. For illustration, we present the formal analysis of a simple pipeline that can be modeled as a series RBD of segments with exponentially distributed failure times.Comment: 15 page

Countering Active Attacks on RAFT-based IoT Blockchain Networks

This paper considers an Internet of Thing (IoT) blockchain network consisting of a leader node and various follower nodes which together implement the RAFT consensus protocol to verify a blockchain transaction, as requested by a blockchain client. Further, two kinds of active attacks, i.e., jamming and impersonation, are considered on the IoT blockchain network due to the presence of multiple {\it active} malicious nodes in the close vicinity. When the IoT network is under the jamming attack, we utilize the stochastic geometry tool to derive the closed-form expressions for the coverage probabilities for both uplink and downlink IoT transmissions. On the other hand, when the IoT network is under the impersonation attack, we propose a novel method that enables a receive IoT node to exploit the pathloss of a transmit IoT node as its fingerprint to implement a binary hypothesis test for transmit node identification. To this end, we also provide the closed-form expressions for the probabilities of false alarm, missed detection and miss-classification. Finally, we present detailed simulation results that indicate the following: i) the coverage probability improves as the jammers' locations move away from the IoT network, ii) the three error probabilities decrease as a function of the link quality

Terahertz antenna array based on a hybrid perovskite structure

This paper presents a novel terahertz (THz) antenna array design comprising a layered structure of a perovskite material which enhances the radiation characteristics of an antenna overlaid on a conventional metallic antenna element. The simulated antenna consists of a THz gold patch antenna coated with a hybrid perovskite material, methyl-ammonium lead iodide CH3NH3PbI3 which enables the manipulation of the THz electromagnetic waves. In addition to this, we also present a comparison of the antenna properties of the proposed hybrid perovskite material with antennas made of gold and perovskite only. The proposed antenna operates in the frequency band 0.9 -1.2 THz. The simulated impedance bandwidth of the proposed array antenna ranges from 0.9 THz to 1.2 THz with a reflection coefficient (S11) less than -10 dB. The antenna array has a radiation patterns stability on the whole frequency band. The peak gain obtained is 11.4 dBi with perovskite arrays. The hybrid and perovskite antenna array demonstrate high radiation efficiency. The designs presented here will help in realising future wireless communication systems that require miniaturisation, fast reconfigurability and wearability

Formal Reliability Analysis Using Theorem Proving

Reliability analysis has become a tool of fundamental importance to virtually all electrical and computer engineers because of the extensive usage of hardware systems in safety and mission critical domains, such as medicine, military, and transportation. Due to the strong relationship between reliability theory and probabilistic notions, computer simulation techniques have been traditionally used to perform reliability analysis. However, simulation provides less accurate results and cannot handle large-scale systems due to its enormous CPU time requirements. To ensure accurate and complete reliability analysis and thus more reliable hardware designs, we propose to conduct a formal reliability analysis of systems within the sound core of a higher order logic theorem prover (HOL). In this paper, we present the higher order logic formalization of some fundamental reliability theory concepts, which can be built upon to precisely analyze the reliability of various engineering systems. The proposed approach and formalization is then utilized to analyze the repairability conditions for a reconfigurable memory array in the presence of stuck-at and coupling faults

Continuous dynamic sliding mode control strategy of PWM based voltage source inverter under load variations

For closed-loop controlled DC-AC inverter system, the performance is highly influenced by load variations and online current measurement. Any variation in the load will introduce unwanted periodic error at the inverter output voltage. In addition, when the current sensor is in faulty condition, the current measurement will be imprecise and the designed feedback control law will be ineffective. In this paper, a sensorless continuous sliding mode control (SMC) scheme has been proposed to address these issues. The chattering effect due to the discontinuous switching nature of SMC has been attenuated by designing a novel boundary-based saturation function where the selection of the thickness of boundary is dependent to the PWM signal generation of the inverter. In order to remove the dependency on the current sensor, a particle swarm optimization(PSO) based modified observer is proposed to estimate the inductor current in which the observer gains are optimized using PSO by reducing the estimation errors cost function. The proposed dynamic smooth SMC algorithm has been simulated in MATLAB Simulink environment for 0.2-kVA DC-AC inverter and the results exhibit rapid dynamic response with a steady-state error of 0.4V peak-to-peak voltage under linear and nonlinear load perturbations. The total harmonic distortion (THD) is also reduced to 0.20% and 1.14% for linear and non-linear loads, respectively

Non-Contact Monitoring of Dehydration using RF Data Collected off the Chest and the Hand

We report a novel non-contact method for dehydration monitoring. We utilize a transmit software defined radio (SDR) that impinges a wideband radio frequency (RF) signal (of frequency 5.23 GHz) onto either the chest or the hand of a subject who sits nearby. Further, another SDR in the closed vicinity collects the RF signals reflected off the chest (or passed through the hand) of the subject. Note that the two SDRs exchange orthogonal frequency division multiplexing (OFDM) signal, whose individual subcarriers get modulated once it reflects off (passes through) the chest (the hand) of the subject. This way, the signal collected by the receive SDR consists of channel frequency response (CFR) that captures the variation in the blood osmolality due to dehydration. The received raw CFR data is then passed through a handful of machine learning (ML) classifiers which once trained, output the classification result (i.e., whether a subject is hydrated or dehydrated). For the purpose of training our ML classifiers, we have constructed our custom HCDDM-RF-5 dataset by collecting data from 5 Muslim subjects (before and after sunset) who were fasting during the month of Ramadan. Specifically, we have implemented and tested the following ML classifiers (and their variants): K-nearest neighbour (KNN), support vector machine (SVM), decision tree (DT), ensemble classifier, and neural network classifier. Among all the classifiers, the neural network classifier acheived the best classification accuracy, i.e., an accuracy of 93.8% for the proposed CBDM method, and an accuracy of 96.15% for the proposed HBDM method. Compared to prior work where the reported accuracy is 97.83%, our proposed non-contact method is slightly inferior (as we report a maximum accuracy of 96.15%); nevertheless, the advantages of our non-contact dehydration method speak for themselves.Comment: 8 pages, 9 figures, 2 table

A numerical investigation of gas injection into cylinder filled with castor oil using the two-fluid model

Paper presented at the 6th International Conference on Heat Transfer, Fluid Mechanics and Thermodynamics, South Africa, 30 June - 2 July, 2008.An Eulerian-Eulerian two-fluid mathematical model is used to numerical simulation of two-phase flow caused by the gas injection into a vertical cylinder. The cylinder is filled with castor oil of which the kinematics viscosity is sufficiently large to ensure liquid flow to be in the laminar regime. The mathematical model used in this study, solves transport equations for the variables of each phase with an allowance for interphase mass and momentum exchange. The governing equations are discreted by the finite volume technique and then are solved by SIMPLE staggered grid solution technique. In order to increase the accuracy of calculations, the power-law scheme is employed to approximate the convection and diffusion terms. It is found that the radial components of bubbles velocities are much smaller than the corresponding axial ones, and the bubbles move up almost vertically. Predictions of the proposed model agree closely with a number of published experimental data.vk201